Поисковый запрос: <.>R=16.31$<.> |
Общее количество найденных документов : 1046
Показаны документы с 1 по 10 |
|
1. 
| Нецветаева Г.А.
Решение пробьлем подготовки табличных изданий с помощью автоматизации верстки. - Препринт. - СПб. - 1999. - 20 с. -(Сообщения ИПА РАН; N126). - На рус.яз. - Российская Федерация. - Тираж 75 экз.
ГРНТИ: 16.31.21
УДК: 655.28.022.24(04)
Предметные рубрики: Верстка
Держатели документа:
|
2.
| Московский гос.лингвистический ун-т. .
Speech and computer: SPECOM'2001
Organized by Moscow state linguistic university. - Moscow. - 2001. - 236 p.: il.18p. pril. - На англ.яз. - Российская Федерация. - Тираж не указ. экз.
ГРНТИ: 16.31.21; 49.34.39
УДК: 621.391.8:621.395(063); 004.934(063)
Предметные рубрики: Речевые сигналы
Держатели документа:
|
3.
| Кверн О.М.
Реальный мир Adobe InDesign 1.5. - М.: ЭКОМ. - 2001. - 607 с.: ил. -(Библиотека издателя). - На рус.яз. - Российская Федерация. - ISBN 5-7163-0077-4. - Тираж 3000 экз.
ГРНТИ: 16.31.21
УДК: 681.612.94
Предметные рубрики: Издательские системы
Держатели документа:
|
4.
| Петров В.В.
Обработка языка и логика предикатов
Отв.ред.В.В.Целищев. - Новосибирск: Изд-во Новосиб. ун-та. - 1993. - 157 с.: ил. - На рус.яз. - Российская Федерация. - ISBN 5-7615-0114-7. - Тираж 400 экз.
ГРНТИ: 16.31.31
УДК: 681.3.06:519.682.1; 801.3:681.39
Предметные рубрики: Лингвистика прикладная
Перевод заглавия: Processing of a language and logics of predicates
Аннотация: Исследуются актуальные проблемы формализации естественного языка, находящиеся на стыке логики, лингвистики и теории искусственного интеллекта. Предложены решения ряда проблем формализации интенциональных контестов в рамках модифицированных оснований логики предикатов. С учетом новых результатов, полученных в области когнитивных исследований, сформулирована концепция ментальной предикации, существенно расширяющая возможности логической формализации внутреннего мира интеллектуальных субъектов - пользователей языком
Держатели документа:
|
5.
| Российская АН. .
Речевая и музыкальная информатика: Сб.ст.
Рос.АН.ВЦ;Отв.ред.В.В.Чучупал. - М.: ВЦ РАН. - 1992. - 98 с.: ил. - На рус.яз. - Российская Федерация. - ISBN 5-201-09890-8. - Тираж 120 экз.
ГРНТИ: 16.31.21
УДК: 004.934
Предметные рубрики: Речевые сигналы --Распознавание
Перевод заглавия: Vocal and musical informatics: Collection of transactions
Аннотация: Сборник посвящен вопросам анализа, автоматического распознавания и восприятия речи. Приводится описание программного комплекса для работы с фонетическими базами данных. Построены эффективные численные процедуры оценивания параметров нелинейной регрессии для задачи кодирования речевого сигнала
Держатели документа:
|
6.
| Тайц А.М.
Adobe InDesign
Тайц А.А. - СПб. - 2000. - ХVI,685 с.: ил. - На рус.яз. - Российская Федерация. - Предм.указ.:с.665-685. - ISBN 5-8206-0094-0. - Тираж 5000 экз.
ГРНТИ: 16.31.21
УДК: 681.612.94
Предметные рубрики: Пишущие автоматы
Держатели документа:
|
7.
|
Компьютерная лингвистика: Материалы шк.-семинара (Казань, 20-24 окт. 1999 г.)
Науч. ред. В.Д.Соловьев и др. - Казань: УНИПРЕСС. - 1999. - 191 с.: ил. -(Труды Математического центра имени Н.И.Лобачевского
Математический центр им.Н.И.Лобачевского(Казань); Т.4). - На рус.яз. - Российская Федерация. - В надзаг.: НИИ математики и механики им. Н.Г.Чеботарева Казан. гос. ун-та. . - ISBN 5-900044-66-1. - Тираж 150 экз.
ГРНТИ: 16.31.31
УДК: 681.3.06:519.682.1(063)
Предметные рубрики: Лингвистика прикладная
Держатели документа:
|
8.
| Селиванов В.Л.
Alogical approach to decidability of hierarchies of regular star-free languages. - Novosibirsk. - 2000. - 20 p. -(Препринт; 68). - На англ.яз. - Российская Федерация. - Перед загл. авт.:V.L.Selivanov. - Тираж 50 экз.
ГРНТИ: 16.31.31
УДК: 681.3.06:519.682.1(04)
Предметные рубрики: Лингвистика прикладная
Перевод заглавия: A logical approach to decidability of hierarchies of regular star-free languages
Аннотация: Представляем новый, логический подход к проблеме разрешимости иерархий Страубинга и Бржозовского, основанный на теореме сохранения из теории моделей, на теореме Хигмана и на теореме о дереве Рабина. Таким образом мы получаем чисто логические краткие доказательства некоторых известных фактов о разрешимости, которые могут представлять методологический интерес. Наш подход также применим к некоторым другим похожим ситуациям, скажем, к "словам" над плотными порядками, относящимся к непрерывному времени и гибридным системам
Держатели документа:
|
9.
|
Многоязычный LATEX. Система авторской подготовки публикаций
Грицаенко И.А., Клименко С.В. - Протвино. - 1994. - 125 c. -(Препринт; ИФВЭ 94-57). - На рус.яз. - Российская Федерация. - Тираж 270 экз.
ГРНТИ: 16.31.21
УДК: 681.612.94(04)
Перевод заглавия: Multilingual LATEX
Аннотация: Справочное руководство по компьютерной многоязычной издательской системе на основе T--(E)X3.141 и его макронадстройки LAT--(E)X2.09, позволяющей готовить публикации на английском, русском, французском, немецком, итальянском и испанском языках. Руководство содержит общую характеристику системы, описание команд и коллекции шрифтов, а также процедур вставки графики, построения алфавитного указателя и использования библиографических баз данных
Держатели документа:
|
10.
|
Информационные системы в лингвистике: Сб. ст. - Омск. - 2000. - 89 с.: ил. -(Информатика и лингвистика
Омский гос. педагог. ун-т; Вып.1). - На рус.яз. - Российская Федерация. - Тираж 100 экз.
ГРНТИ: 16.31
УДК: 801:51
Предметные рубрики: Лингвистика прикладная
Держатели документа:
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных